We intend to point out that in the Gorgias, dialogue devoted to the critique of rhetoric, Socrates' frequent allusions to the body's complexion, and the recurrent use of corporeal metaphors to refer to what, by analogy, happens to the soul, function as a rhetoric tool in order to oppose Gorgias' own rhetoric. Thus, while drawing attention to the way Plato uses the weapons of the adversary precisely to attack him, we emphasize the indispensable role of the body as evidence of (...) the soul in Platonic philosophy. Therefore, our intent is to reinforce the interpretive strand according to which Plato can be understood more as a thinker who departs from the pressing problems of his time in order to lead us into philosophical reflections – in the present dialogue, the political consequences of a _paideia _oriented by sophistic rhetoric –, than as a philosopher solely committed to a transcendent metaphysics. (shrink)

No presente ensaio damos continuidade ao artigo “A lógica do Ser de Parmênides: entre a poesia e a Filosofia”, em vias de publicação pela Argumentos (revista do Programa de Pós-Graduação em Filosofia da Universidade Federal do Ceará). Agora pretendemos mostrar que a crítica de Górgias a Parmênides reside na diferença da concepção de ambos a respeito do ser: enquanto o eleata supõe o ser como identificado ao pensar e ao dizer, Górgias o entende como aquilo que nos afeta a partir (...) das coisas que subsistem. Com isto, promove uma inversão dos enunciados centrais do Poema de Parmênides, afirmando que: 1) Nada existe; 2) Se existisse não poderia ser conhecido; 3) Se pudesse ser conhecido não poderia ser comunicado. Tentaremos mostrar que, além de pôr em xeque o projeto essencialista de Parmênides, inaugurando assim a vertente antiessencialista da filosofia, inverte também o movimento do pensamento do eleata: enquanto este se vale do estilo poético para estabelecer as regras lógicas da investigação filosófica, Górgias parte de uma reflexão lógico-filosófica para romper a identidade Φύσις-λόγος, retomando outra postura poética: a visão trágica, segundo a qual aos mortais não é dado conhecer nem controlar os acontecimentos. (shrink)

Não é fácil demarcar a diferença entre as concepções platônicas de Eros e Philia. Nos diálogos mais voltados para o assunto, como Lísis, Banquete e Fedro , identificamos uma sobreposição dos dois temas, tal que o exame de um acaba por remeter ao exame do outro. No Lísis , enquanto a Philia constitui-se como o foco da discussão de Sócrates com Menexeno, o diálogo traz como pano de fundo e com forte apelo dramático o amor de Hipótales por Lísis. No (...) Banquete , apesar de ser Eros o tema central do diálogo, tem-se a partir do discurso de Pausânias a diferenciação entre dois tipos de Eros , de modo que o mais belo deles em muito se assemelha ao que se entende por Philia . No Fedro , por sua vez, esta aparece como um Eros mitigado. Pretendo mostrar que, nos diálogos supracitados, Platão se vale da aproximação entre Eros e Philia para fundamentar sua própria concepção de Philos sophía , na qual Eros desempenha um papel decisivo. Mais precisamente, uma concepção de filosofia na qual o que é Belo ( Eros ) deve assimilar o que é Bom ( Philia ). Para tanto, lança mão das seguintes teses: 1. O desejo é causa tanto de Eros quanto de Philia e, enquanto tal, pressupõe uma relação entre amantes/amigos; 2. O desejo é marcado por uma falta (presente ou futura); 3. O que falta é na verdade algo que foi perdido; 4. O desejo é o movimento da alma para recuperar algo perdido, a saber, a contemplação do Belo. 5. A filosofia é o percurso, guiado por Eros, para o reencontro do Belo. (shrink)

Background: COVID-19 has taken many lives worldwide and due to this, millions of persons are in grief. When the grief process lasts longer than 6 months, the person is in risk of developing Complicated Grief Disorder. The CGD is related to serious health consequences. To reduce the probability of developing CGD a preventive intervention could be applied. In developing countries like Mexico, the psychological services are scarce, self-applied interventions could provide support to solve this problem and reduce the health impact (...) even after the pandemic has already finished.Aims: To design and implement a self-applied intervention composed of 12 modules focused on the decrease of the risk of developing CGD, and increasing the life quality, and as a secondary objective to reduce the symptomatology of anxiety, depression, and increase of sleep quality. The Intervention Duelo COVID follows the principles of User Experience and is designed according to the needs and desires of a sample of the objective participants, to increase the adherence to the self-applied intervention, considered one of the main weaknesses of online interventions.Methods: A Randomized Controlled Trial will be conducted from the 22nd of December of 2020 to the first of June 2021. The participants will be assigned to an intervention with elements of Cognitive Behavioral Therapy, Acceptance and Commitment Therapy, Mindfulness and Positive Psychology. The control group will be a wait-list condition, that will receive the intervention 1.5–2 months after the pre-measurement were taken. The Power Size Calculation conducted through G*Power indicated the need for a total of 42 participants, which will be divided by 21 participants in each group. The platform will be delivered through responsive design assuring with this that the intervention will adapt to the screen size of cellphones, tablets, and computers.Ethics and Dissemination: The study counts with the approval of the Research Ethics Committee of the Autonomous University of Ciudad Juárez, México, and it is registered in Clinical Trials. The article is sent and registered in clinical trials before the recruitment started. The results will be reported in future conferences, scientific publications, and media. (shrink)

Das várias possibilidades de abordagem da sala de aula, a análise do ambiente de aprendizagem tem sido uma das opções de trabalho no campo educacional. Esta investigação tem como finalidade comprovar se o ambiente da sala de aula, bem como algumas variáveis sociodemográficas, são relevantes na explicação do rendimento acadêmico dos alunos. Para avaliar o ambiente da sala de aula foi utilizado o APSA – Escala do Ambiente Psicossociológico da Sala de Aula . Foi seleccionada uma amostra correspondente a 336 (...) alunos do ensino obrigatório português , de duas escolas públicas do norte de Portugal. O objectivo foi orientado para a comprovação da viabilidade do modelo de equações estruturais , onde foram hipotetizadas e especificadas determinadas relações causais. Constatou-se que o ambiente da sala de aula tem um impacto positivo e significativo no rendimento académico dos alunos. (shrink)

In the course of the history of science, some concepts have forged theoretical foundations, constituting paradigms that hold sway for substantial periods of time. Research on the history of explanations of the action of one body on another is a testament to the periodic revival of one theory in particular, namely, the theory of ether. Even after the foundation of modern Physics, the notion of ether has directly and indirectly withstood the test of time. Through a spontaneous physics philosophical analysis, (...) this article will explore how certain aspects of the concept of ether have appeared in different branches of the history of science. (shrink)

Este artigo tem como objetivo abordar uma intervenção realizada nas turmas do primeiro ano do ensino médio de uma escola localizada na cidade de Ipu-Ceará no ano de 2018, na disciplina de filosofia, com o tema ''Mito da caverna de Platão''. Assim, foram feitas leituras em sala de aula de alguns trechos do livro A República de Platão que aborda o tema, juntamente com o livro didático Filosofando: Introdução à filosofia das autoras Maria Lúcia de Arruda Aranha e (...) class='Hi'>Maria Helena Pires Martins com o intuito de referenciar as cavernas contemporâneas. Deste modo, foi utilizado o método de ensino cuja intenção era a de apresentar livros e recursos audiovisuais para fins educacionais. Com a compreensão do mito da caverna de Platão, portanto, conseguimos vinculá-lo a um assunto da realidade dos alunos: a indústria da beleza que padroniza uma determinada forma de comportamento nos indivíduos, causando-lhes sérios problemas físicos e psicológicos. Para sustentar essa ideia, trabalhou-se com dois videoclipes das cantoras Beyoncé (Pretty Hurts) e Colbie Caillat (Try) na tentativa de despertar a reflexão da necessidade de autovalorização e aceitação física, em um distanciamento das cavernas patriarcais. Enfim, esse artigo manifesta uma enorme contribuição para os jovens do ensino médio, especialmente, na sua autoaceitação e formação identitária na medida em que compreendem os padrões como formas de aprisionamentos. Assim, conclui-se que estas discussões são relevantes por despertarem temas caros e reais aos jovens, tanto que promovem adoecimentos psicológicos. O propósito é o de expandir a discussão de tal forma que eles mesmos possam dialogar sobre o assunto. (shrink)

Resumo: O artigo objetiva refletir sobre as concepções de gênero, poder, multiplicidade e multiculturalismo, em María Lugones, analisando o modo como sua teoria se associa ao pensamento pós-colonial. Para tanto, aborda a perspectiva do pensamento pós-colonial e a noção de colonialidade do poder, considerando o sistema moderno/colonial de gênero. As teorias pós-coloniais criticam o paradigma epistemológico do Ocidente e a hierarquização baseada na distinção entre humanos e não humanos, colonizador e colonizado. Em sua análise do sistema moderno/colonial, María Lugones introduz (...) a ideia de gênero na reflexão acerca das relações de poder. A teoria de Oyèronké Oyӗwùmí é uma referência para María Lugones, que desenvolve uma concepção de intersecção de raça, classe, gênero e sexualidade, propondo um feminismo decolonial baseado na identificação de formas de resistência e coalizão para emancipação.: The article reflects on María Lugones’s concepts of gender, power, multiplicity, and multiculturalism, analyzing the way her theory is associated with postcolonial thought. In order to do so, it aproaches the perspective of postcolonial thought, and the notion of coloniality of power, considering the colonial/modern gender system. The postcolonial theories criticize the Western epistemological paradigm, and hierarchy based on the distinction between human and non-human, colonizer and colonized. When analyzing the colonial/modern system, María Lugones’s perspective introduces the concept of gender in the analyses of the power relationships. Oyèronké Oyӗwùmí’s theory of gender is a reference to María Lugones. In the analysis of the coloniality of power, Lugones develops the idea of the intersection of race, class, gender, and sexuality, proposing decolonial feminism based on the identification of forms of resistance, and coalition in social movements for emancipation. (shrink)

Tem-se por objetivo, (a) caracterizar comportamentos de 47 cuidadores primários e de seus filhos que buscaram atendimento, (b) comparar grupos, abandono x participantes, menino x menina. Os participantes responderam à entrevista (RE-HSE-P), inventário (IHS-Del Prette) e escalas (Escala de Assertivid..

Normal 0 21 false false false PT-BR X-NONE X-NONE MicrosoftInternetExplorer4 Normal 0 21 false false false PT-BR X-NONE X-NONE MicrosoftInternetExplorer4 Normative fragment of natural language make up sentences that express acts and describe norms. In this fragment there are criteria of logic thuth and relation of consequence between sentences which constitute a natural deontic logic. This paper adopts at ranslation function from the set of sentences of the normative fragment of natural language in to the set of formulae in the (...) formal language and claims that such function translates logically true sentences of the natural language into provable formulae of the formal calculus. With Von Wright's deontic calculus (1951), it does not fit and generates paradoxes, which are known as Prior's paradoxes. Cruz's paraconsistent deontic propositional calculus, D 1 (1993) avoids some paradoxes, except that generated by the formula OB-O (A- B). One builds a relevant deontic propositional calculus that aims to avoid these paradoxes and keeps intact all other fundamental features of deontic operators, since the formula B - (A - B) is improable in some relavant calculi.  . (shrink)

In this paper we consider an intuitionistic variant of the modal logic S4 (which we call IS4). The novelty of this paper is that we place particular importance on the natural deduction formulation of IS4— our formulation has several important metatheoretic properties. In addition, we study models of IS4— not in the framework of Kirpke semantics, but in the more general framework of category theory. This allows not only a more abstract definition of a whole class of models but also (...) a means of modelling proofs as well as provability. (shrink)

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015. The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully reviewed and selected from 44 submissions. The focus of the workshop was on interdisciplinary research involving formal logic, computing and programming theory, and (...) natural language and reasoning. (shrink)

A common misconception among logicians is to think that intuitionism is necessarily tied-up with single conclusion calculi. Single conclusion calculi can be used to model intuitionism and they are convenient, but by no means are they necessary. This has been shown by such influential textbook authors as Kleene, Takeuti and Dummett, to cite only three. If single conclusions are not necessary, how do we guarantee that only intuitionistic derivations are allowed? Traditionally one insists on restrictions on particular rules: implication right, (...) negation right and universal quantification right are required to be single conclusion rules. In this note we show that instead of a cardinality restriction such as one-conclusion-only, we can use a notion of dependency between formulae to enforce the constructive character of derivations. The system we obtain, called FIL for full intuitionistic logic, satisfies basic properties such as soundness, completeness and cut elimination. We present two motivating applications of FIL and discuss some future work. (shrink)

Este trabalho propõe analisar a presença da religião em alguns espaços públicos educacionais. Por meio da metodologia da observação participante identificamos dois momentos que se articulam entre si: a influência da Escola sem Partido ao longo dos estágios docentes do curso de Ciências Sociais Licenciatura em Campos dos Goytacazes; e a presença de movimentos missionário cristãos, originários dos EUA, que visam influenciar a juventude estudantil evangélica a uma transformação social, nacional e mundial, no espaço universitário. Tais descrições nos traz questionamentos (...) sobre os desafios e perspectivas da formação docente nos voltando, novamente, para a discussão entre ciência, religião e política. Sendo assim, o presente trabalho nos traz muitas interrogações sobre algumas questões que perpassam a questão religiosa e são pertinentes ao debate educacional. Diante da organização e expressões de fé demarcados por discursos e ações de estudantes visamos trazer breves reflexões sobre o ensino de Sociologia no cotidiano escolar e despertar atenção para a presença de movimentos religiosos no espaço universitário. (shrink)

Este artigo discute as transformações na indústria fonográfica desde os anos 90 provocadas pelo formato mp3, que, em uma primeira abordagem, é apontado como responsável pelo encolhimento da venda de discos e por promover a pirataria fonográfica em escala mundial. Neste recorte, conceitos como autoria, direito autoral e outros tem de ser repensados à luz desta tecnologia ao mesmo tempo em que se discute seu potencial criativo e sua capacidade de democratizar a produção sonora.

This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica categories based on Goedel's Dialectica interpretation and shows that they constitute a model of Girard's Intuitionistic Linear Logic. Chapter two shows that, with extra assumptions, we can provide a comonad that interprets Girard's !-course modality. Chapter three presents the second class of Dialectica categories, a simplification suggested by Girard, that models (classical) Linear Logic and chapter four shows how to provide modalities ! and ? for this second class (...) of construction. (shrink)

O manuscrito Madri, Bibl. del Escorial, h.II.1, ff. 1ra-73rb, contém um conjunto de Questões sobre a Metafísica I[A]-VI[E] de Aristóteles, atribuídas na margem inferior do f.1r a Henrique de Gand, por uma adição classificada como tardia por Martin Grabmann. Deixando de lado metodologicamente a problemática da autoria dessas Questões, busca-se aqui compreender a noção de ‘verdade’ desenvolvida na obra, principalmente no que diz respeito ao discurso metafísico que tange à descrição do ‘ser’ atribuível à verdade. Para tanto, consideramos o modo (...) como o autor de tais questões relaciona as noções de ‘verdade’ e ‘ser’ em Questões sobre a Metafísica II[α] e VI[E], com especial atenção à atribuição de um ‘ente diminuído’ ao conhecimento verdadeiro. (shrink)

Within New Testament writings, but in a special way in Paul’s letters, we can observe a significant presence of the greek term parresía, or frank language. This term was not only a rhetorical-linguistic instrument, on Paul’s contemporary time, but an attitude made by the speaker, or by the epistolar author before his recipients. On Eph 6,19, we see this term and its relation with the evangelizing mission of the author. Moreover, this concept was not only a linguistic function for Paul’s (...) writings and time actions, but it can have an effectiveness in present time. (shrink)

We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capture intensional features such as notions of computation, constraints, concurrency, etc. Both systems have so far been studied mainly from type-theoretic and category-theoretic perspectives, but Kripke models for similar systems were studied independently. Here we bring these threads together and prove duality results which show how to relate Kripke models to algebraic models and these in turn to the (...) appropriate categorical models for these logics. (shrink)

O presente estudo procurou levantar desafios e possibilidades da incorporação das redes sociais no processo de implementação de ações preventivas ao uso de drogas na Atenção Primária à Saúde (APS). Trata-se de uma pesquisa-intervenção empregando as seguintes técnicas de coleta de dados: observação p..

O artigo analisa a questão do “fim da filosofia” no pensamento contemporâneo. Demarcando o embate da filosofia consigo mesma, com a ciência e com alguns pensadores da atualidade que ousaram tematizar o fim, busca, pela reflexão ética, restabelecer a filosofia como um autêntico saber humano. Palavras-chave: Filosofia; Ciência; Ética; Auto-superação; Niilismo. ABSTRACT This article analyses the issue of ‘the end of philosophy’ in contemporary thought. Setting the framework for the confrontation of philosophy with itself, with science and with some present-time (...) thinkers who dare to predict its end, it attempts to re-establish, through ethical reflection, philosophy as an authentic human knowledge. Key words: Philosophy; Science; Ethics; Self-surpassing; Nihilism. (shrink)

In this paper we give a brief treatment of a theory of proofs for a system of Full Intuitionistic Linear Logic. This system is distinct from Classical Linear Logic, but unlike the standard Intuitionistic Linear Logic of Girard and Lafont includes the multiplicative disjunction par. This connective does have an entirely natural interpretation in a variety of categorical models of Intuitionistic Linear Logic. The main proof-theoretic problem arises from the observation of Schellinx that cut elimination fails outright for an intuitive (...) formulation of Full Intuitionistic Linear Logic; the nub of the problem is the interaction between par and linear implication. We present here a term assignment system which gives an interpretation of proofs as some kind of non-deterministic function. In this way we find a system which does enjoy cut elimination. The system is a direct result of an analysis of the categorical semantics, though we make an effort to present the system as if it were purely a proof-theoretic construction. (shrink)

Este artigo busca ressoar um percurso de sensibilização vivido por um professor que descobre a força desestabilizadora e inspiradora da infância das crianças durante as aulas de filosofia. Ao investigar a (im)possibilidade das crianças fazerem filosofia, vemos semelhanças com a experiência de tocar violão, o qual transformamos em um personagem conceitual para nos ajudar a (re)pensar o ensino de filosofia para crianças. Ensaiamos, neste texto, formas de explorar os sentidos que se desprendem de experiências vividas entre a infância e a (...) filosofia a partir de encontros vividos em salas de aula, para encontrarmos/criarmos possibilidades de alimentarmos essa investigação ao invés de pôr fim a ela. Um exercício que nos possibilita encontrar/construir formas mais acolhedoras, sensíveis e inventivas de fazer, viver e habitar a educação entre a infância e a filosofia na escola. Deparamo-nos, assim, com ideia (conceito-corpo) de devir-violão, a qual trabalhamos a partir dos encontros com Gilles Deleuze e Jean-Luc Nancy. Vida. É disso que se trata este texto; e pesquisa, pois, no que diz respeito à educação, essas duas coisas se confundem, acontecem juntas, co-partilham percursos, são inseparáveis; do mesmo modo que não podemos separar o som do arrepio que causam em nossa pele. O texto é, antes de tudo, um convite a nos colocarmos à escuta daquilo que nos toca, não para explicar ou fundamentar nossas práticas, mas sim para descobrir e inventar sentidos: ser em-com-outros, entre educação, filosofia, infâncias e escolas. (shrink)

In an unpublished note Reddy introduced an extended intuitionistic linear calculus, called LLMS (for Linear Logic Model of State), to model state manipulation via the notions of sequential composition and ‘regenerative values’. His calculus introduces the connective ‘before’ ▹ and an associated modality †, for the storage of objects sequentially reusable. Earlier and independently de Paiva introduced a (collection of) dialectica categorical models for (classical and intuitionistic) Linear Logic, the categories Dial2Set. These categories contain, apart from the structure needed (...) to model linear logic, an extra tensor product functor and an extra comonad structure corresponding to a modality related to the extra tensor product. It is surprising that these works arising from completely different motivations can be related in a meaningful way. In this article, following joint work with Corrêa and Haeusler, we first adapt Reddy's system LLMS providing a commutative version of the connective ‘before’ and its associated modality and then construct a dialectica category on Sets , which we show is a sound model for the modified version of Reddy's the system LLMSc. Moreover, following the work of Tucker, we provide another variant of the Dialectica categories with a non-commutative tensor and its associated modality, which models soundlyLLMS itself. We conclude with some speculation on future applications. (shrink)

The main objective of this paper – resulting from an academic speech at UFG (Universidade Federal de Goiás) -is to outline the importance of Thomas Hobbes’ most known political work: Leviathan. Taking the figure of a big marine monster, quite in the same sense of the biblical metaphor used in the dialogue between God and Job to introduce the danger or the benefit of a big power controlled by men, Hobbes’s arguments terrorized the Church but helped in creating new ways (...) of thinking so to conceive the modern state. In the same movement, many other “demons” emerged to fight against religious power and also other forms of totalitarianism. Nevertheless, even shocking our conventional assumptions, Hobbes’ political work may be considered – among other liberal thinkers – a defense of individualism and many other aspects of civil order, which make him one of the most important contributor to modernity and also an essential source to think about our reality. (shrink)

O princípio regulador da prática moral do Alvissarismo é o método do meio-termo, que pode se estruturar em todos os formatos da existência humana: A prática moral e existencial de não extremismo: um caminho de moderação, equilíbrio e harmonia entre os opostos. O meio-termo entre as visões filosóficas, políticas, econômicas e religiosas; ou seja, entre a Esquerda e a Direita, o Alvissarismo representa o Caminho do Meio. Uma explicação da Angelitude ; um estado onde fica óbvio que todas as dualidades (...) aparentes no mundo são ilusórias. A prática da instrução canônica, da fé em Jesus Cristo e da obra de amor, justiça e caridade. O objetivo do ser humano é enfrentar a existência tal como ela se apresenta, buscando se regenerar moralmente através da troca dos vícios por virtudes assim como da troca dos débitos por créditos com a finalidade de promover a sua libertação do ciclo cármico da Roda das Encarnações a fim de atingir a angelitude e se tornar um mensageiro direto de Deus. (shrink)

A grande revolução filosófica arquitetada pelo Alvissarismo está justamente na descoberta fundamental dos juízos analíticos a posteriori; desde Kant, não houve sequer um único filósofo com coragem o bastante para questionar a ideia de que todo juízo de experiência é sintético e que todo juízo analítico é a priori, com exceção de Saul Kripke, que foi pioneiro ao revelar ao mundo a existência do necessário a posteriori e do contingente a priori, corroborando a nossa tese sobre a existência dos juízos (...) analíticos a posteriori; esta foi, pois, a grande ruptura causada pela Filosofia Alvissarista, que, através da pergunta “existem juízos analíticos a posteriori?” causou uma revolução sem precedentes na história da filosofia. O mais importante aqui não é nem a resposta dada pelo Alvissarismo a esta pergunta, mas sim a própria pergunta, posto que ela rompe de uma vez por todas com a filosofia Kantiana, que fundou as bases da filosofia moderna através da negação da revelação. O Alvissarismo dá, portanto, início a uma nova era na história da filosofia, uma era onde na filosofia é possível a revelação, onde é possível existir uma filosofia unificada à mitologia e à religião, como um retorno à filosofia pré-talesiana, isto é, uma filosofia antes do surgimento de Tales de Mileto, que separou a filosofia da religião através da proposição “a água é a origem de todas as coisas”. (shrink)

A Ciência não tem a explicação para tudo, o seu raciocínio lógico não consegue abarcar a totalidade das coisas, dos fatos e dos significantes. Em verdade, a parte das coisas, dos fatos e dos significantes que a Ciência tem acesso é apenas a ponta do iceberg. A parte submersa é então a Insciência, isto é, o conjunto de coisas, fatos e significantes aos quais a Ciência não tem acesso por estarem além dos limites da origem do Logos. Nisto consiste a (...) descoberta epistemológica do Alvissarismo que revela a existência da Insciência, que é um termo epistemológico com dois significados distintos. Em um sentido amplo, mais genérico, é o conjunto do conhecimento cujo qual a Ciência não tem acesso. O segundo significado, mais específico, provém da Filosofia Alvissarista e designa uma forma específica de como esse conjunto de conhecimentos cujo qual a Ciência não tem acesso funciona e pode ser acessado. A Insciência define um complexo de coisas, fatos e significantes de natureza praticamente insondável, misteriosa, obscura, como a origem do universo, do homem, das paixões, do medo, da criatividade, da vida e da morte, que só podem ser acessados através de analogias e paradoxos lógicos na linguagem; através do mito, do rito, da ficção, da arte, do sonho e da hierofania. Ao dirigir-se à Ciência, a Insciência demanda que ela produza saber e depois tenta invalidar suas teorias. (shrink)

A Ciência não tem a explicação para tudo, o seu raciocínio lógico não consegue abarcar a totalidade das coisas, dos fatos e dos significantes. Em verdade, a parte das coisas, dos fatos e dos significantes que a Ciência tem acesso é apenas a ponta do iceberg. A parte submersa é então a Insciência, isto é, o conjunto de coisas, fatos e significantes aos quais a Ciência não tem acesso por estarem além dos limites da origem do Logos. Nisto consiste a (...) descoberta epistemológica do Alvissarismo que revela a existência da Insciência, que é um termo epistemológico com dois significados distintos. Em um sentido amplo, mais genérico, é o conjunto do conhecimento cujo qual a Ciência não tem acesso. O segundo significado, mais específico, provém da Filosofia Alvissarista e designa uma forma específica de como esse conjunto de conhecimentos cujo qual a Ciência não tem acesso funciona e pode ser acessado. A Insciência define um complexo de coisas, fatos e significantes de natureza praticamente insondável, misteriosa, obscura, como a origem do universo, do homem, das paixões, do medo, da criatividade, da vida e da morte, que só podem ser acessados através de analogias e paradoxos lógicos na linguagem; através do mito, do rito, da ficção, da arte, do sonho e da hierofania. Ao dirigir-se à Ciência, a Insciência demanda que ela produza saber e depois tenta invalidar s. (shrink)

Después de algunas décadas de desarrollo teórico del feminismo, el mismo perfil de la filosofía se ha transformado con la inteoducción de temas y conceptos novedosos como la perspectiva de género. Los profesores de la Facultad de Filosofía de la Universidad Michoacana de San Nicolás de Hidalgo (UMSNH) (y las destacadas invitadas que colaboran en este libro), sensibles a los avances y al despliegue de las categorías culturales que las reflexiones feministas aportan al mundo contemporáneo, se dan a la tarea (...) de describir algunos fenómenos y analizar el impacto que la teoría feminista ha tenido en los diferentes ámbitos del saber filosófico, sin menoscabo de su propia identidad de género. La confluencia entre las reflexiones feministas y los procesos de reflexión sobre la cultura, y a percibir la relación que éstos tienen con los procesos de identidad y diferenciación de género. La teoría feminista ha resultado ser así un recurso teórico de inapreciable valor en el intento de comprención general de la cultura.Tres secciones articulan este libro: Mitos y Logos de lo femenino, Reflexiones metodológicas sobre Teoría Feminista y Filosofía, y Filosofía de la Cultura y diferencia sexual. La amplitud y diversidad de temas que los integran no muestra la dimensión del espectro de conocimiento que se abre ante los perplejos ojos del filósofo contemporáneo que busca dotar a su actividad de la dignidad que el feminismo ha recuperado para el mundo plenamente humano. Si bien en otros campos de la filosofía ha resultado posible (con toda su cuestionabilidad) hacer abstracción de los hechos de la diferencia sexual, en este campo de análisis tal omisión resulta imposible, como lo muestan los trabajos integrados aquí. Y salvo que el sesgo de la neutralidad obnubile la claridad intelectual, es evidente que este proceso debería ser necesario en todo intento de reflexión sobre el mundo. (shrink)

Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...) traditional monograph "Introduction to Metamathematics". We analyze four different translations of intuitionistic logic into linear logic and compare their proofs using a linear logic based prover with focusing. In order to enhance the set of problems in our library, we apply the three provability-preserving translations to the propositional benchmarks in the ILTP Library. Finally, we generate a comprehensive set of reachability problems for Petri nets and encode such problems as linear logic sequents, thus enlarging our collection of problems. (shrink)